Câu ví dụ
- Nhà thờ Alonzo, Tiến sĩ giám sát viên của bộ ngắt Enigma Alan Turing, đã đưa ra mô hình toán học của các hàm được gọi là phép tính lambda vào những năm 1930.
- Tuy chứng minh của ông được đăng công khai sau chứng minh tương tự của Alonzo Church đối với phép tính lambda (lambda calculus), chứng minh của Turing được coi là dễ hiểu và trực giác hơn.
- Trong lập trình chức năng, phép tính lambda và các ngôn ngữ lập trình, môi trường thông thường có nghĩa là các từ định danh đã được định nghĩa ngoài hàm đã cho nhưng có thể được sử dụng trong nó.
- Trong logic toán học và khoa học máy tính, phép tính lambda (tiếng Anh:lambda calculus) hay còn được viết là λ-calculus, là một hệ thống hình thức dùng trong việc định nghĩa hàm số, ứng dụng hàm số và đệ quy.
- Các đặc điểm kỹ thuật ECMA-262 định nghĩa phạm vi như: môi trường từ vựng trong đó một đối tượng Chức năng được thực hiện ở phía client script web; giống như thế nào phạm vi được xác định trong phép tính lambda.
